[[Set theory MOC]]
# Category of finite sets

The **category of finite sets** $\cat{FinSet}$ is the [[Subcategory|full subcategory]] of $\Set$ where objects are restricted to [[Cardinality|finite]] sets. #m/def/set

## Skeleton

The canonical [[skeleton category]] is [[Category of natural numbers]].

#
---
#state/develop | #lang/en | #SemBr